3

Programming in Biomolecular Computation

Year:
2010
Language:
english
File:
PDF, 256 KB
english, 2010
14

Specker sequences revisited

Year:
2005
Language:
english
File:
PDF, 156 KB
english, 2005
15

On local non-compactness in recursive mathematics

Year:
2006
Language:
english
File:
PDF, 132 KB
english, 2006
18

Beta-Shifts, Their Languages, and Computability

Year:
2011
Language:
english
File:
PDF, 558 KB
english, 2011
20

On confluence and residuals in Cauchy convergent transfinite rewriting

Year:
2004
Language:
english
File:
PDF, 175 KB
english, 2004
22

On modularity in infinitary term rewriting

Year:
2006
Language:
english
File:
PDF, 432 KB
english, 2006
23

Infinitary Combinatory Reduction Systems

Year:
2011
Language:
english
File:
PDF, 786 KB
english, 2011
24

Levels of undecidability in rewriting

Year:
2011
Language:
english
File:
PDF, 416 KB
english, 2011
26

Genetic variation of Zoarces viviparus: six populations revisited after about 35 years

Year:
2010
Language:
english
File:
PDF, 478 KB
english, 2010